Natural deduction

#	Item
401	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-02-25 06:00:04 Constraint programming Logic programming Propositional calculus Admissible rule Modal logic Substitution Symbol Natural deduction Logic Mathematical logic Software engineering
402	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-10-29 09:10:25 Metalogic Propositional calculus Mathematical logic Entailment Natural deduction Symbol Function Well-formed formula Logic Deduction Logical syntax